An algorithm for constructing a basis for Cr-spline modules over polynomial rings
نویسندگان
چکیده
Let 2 be a polyhedral complex embedded in the euclidean space Ed and Sr(2), r ≥ 0, denote the set of all Cr-splines on 2. Then Sr(2) is an R-module where R = E[x1, . . . , xd] is the ring of polynomials in several variables. In this paper we state and prove the existence of an algorithm to write down a free basis for the above R-module in terms of obvious linear forms defining common faces of members of 2. This is done for the case when 2 consists of a finite number of parallelopipeds properly joined amongst themselves along the above linear forms.
منابع مشابه
Gröbner bases in difference - differential modules and their applications ∗ October 24 , 2005
In this paper we will extend the theory of Gröbner bases to differencedifferential modules which were introduced by Levin(2000) as a generalization of modules over rings of differential operators. The main goal of this paper is to present and verify algorithms for constructing these Gröbner basis counterparts. To this aim we define the concept of ”generalized term order” on N×Z and on differenc...
متن کاملAN INTEGRAL DEPENDENCE IN MODULES OVER COMMUTATIVE RINGS
In this paper, we give a generalization of the integral dependence from rings to modules. We study the stability of the integral closure with respect to various module theoretic constructions. Moreover, we introduce the notion of integral extension of a module and prove the Lying over, Going up and Going down theorems for modules.
متن کاملAn Algorithm for the Quillen-suslin Theorem for Monoid Rings
Let k be a field, and let M be a commutative, seminormal, finitely generated monoid, which is torsionfree, cancellative, and has no nontrivial units. J. Gubeladze proved that finitely generated projective modules over kM are free. This paper contains an algorithm for finding a free basis for a finitely generated projective module over kM . As applications one obtains alternative algorithms for ...
متن کاملNONNIL-NOETHERIAN MODULES OVER COMMUTATIVE RINGS
In this paper we introduce a new class of modules which is closely related to the class of Noetherian modules. Let $R$ be a commutative ring with identity and let $M$ be an $R$-module such that $Nil(M)$ is a divided prime submodule of $M$. $M$ is called a Nonnil-Noetherian $R$-module if every nonnil submodule of $M$ is finitely generated. We prove that many of the properties of Noetherian modul...
متن کاملConstructing Homomorphism Spaces and Endomorphism Rings
Abstract We present a new deterministic algorithm for constructing homomorphism spaces and endomorphism rings of finite dimensional modules. The modules are given via vertex projective presentations over path algebras and finite dimensional quotients of path algebras. We use the theory of right Gröbner bases to encode modules and to construct appropriate systems of equations for computing homom...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Math. Comput.
دوره 67 شماره
صفحات -
تاریخ انتشار 1998